Control-flow analysis